<?php
	include 'machineUpdatetime.php';
	$timestamp = $_REQUEST['timestamp'];
	$type = $_REQUEST['type'];
	$content = $_REQUEST['content'];
	
	setUpdatetime($timestamp, $type, $content);
?>